Mark Leslie

#	Item
41	TLA+ Veriﬁcation of Cache-Coherence Protocols Homayoon Akhiani, Damien Doligez∗ , Paul Harter, Leslie Lamport, Mark Tuttle, and Yuan Yu Compaq Joshua Scheid Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Proof theory Mathematical logic Logical syntax Formal systems Logical truth Model checking Communications protocol Formal methods Correctness Logic Mathematics Computing
42	An Example Document Leslie Lamport January 21, 1994 This is an example input file. Comparing it with the output it generates can show you how to produce a simple document of your own. Add to Reading List Source URL: plastex.sourceforge.net Language: English - Date: 2008-02-07 11:26:57 Printing Dash LaTeX Quotation mark TeX Ellipsis Slash Space Full stop Punctuation Typography Graphic design
43	October 15, 2009 FOR IMMEDIATE RELEASE Contact: Steven Padla[removed] / [removed] Add to Reading List Source URL: www.yalerep.org Language: English - Date: 2009-10-29 17:29:29 Year of birth missing Mark Brokaw Leslie Kritzer Yale Repertory Theatre Craig Lucas Susan Hilferty David Esbjornson Theatre Performing arts Entertainment
44	PDF Document Add to Reading List Source URL: www.leg.state.nv.us Language: English - Date: 2010-05-04 13:45:24 Truckee Meadows KNPB Truckee Meadows Water Authority Mark Amodei Nevada Sheila Leslie University of Nevada Reno